Selected Topics in Asynchronous Automata
نویسنده
چکیده
The paper is concerned with the modeling of the electrical signals and of the asynchronous circuits by } 1 , 0 { → R functions and asynchronous automata. The equations of the asynchronous automata are written and solved; the stability, the fundamental mode of operation, the semi-modularity and some aspects of semantics of the propositional temporal logic as seen from behind asynchronous automata are presented.
منابع مشابه
Cellular Automata and Models of Computation
Preface This issue contains seven papers presented during the " Third Symposium on Cellular Automata– Journées Automates Cellulaires " (JAC 2012), held in La Marana, Corsica (France) in the period Septem-ber 19th–21th, 2012. The scope of the symposium is centered on Cellular Automata (CA), tilings and related models of computation. Topics of interest include (but are not limited to) algorithmic...
متن کاملEvolving Robust Asynchronous Cellular Automata for the Density Task
In this paper the evolution of three kinds of asynchronous cellular automata are studied for the density task. Results are compared with those obtained for synchronous automata and the influence of various asynchronous update policies on the computational strategy is described. How synchronous and asynchronous cellular automata behave is investigated when the update policy is gradually changed,...
متن کاملGeneralized Asynchronous Systems
The paper is devoted to a mathematical model of concurrency the special case of which is asynchronous system. Distributed asyn-chronous automata are introduced here. It is proved that the Petri nets and transition systems with independence can be considered like the distributed asynchronous automata. Time distributed asynchronous automata are defined in standard way by the map which assigns tim...
متن کاملPhase Space Invertible Asynchronous Cellular Automata
While for synchronous deterministic cellular automata there is an accepted definition of reversibility, the situation is less clear for asynchronous cellular automata. We first discuss a few possibilities and then investigate what we call phase space invertible asynchronous cellular automata in more detail. We will show that for each Turing machine there is such a cellular automaton simulating ...
متن کاملApplication of Time Warp to Parallel Simulations with Asynchronous Cellular Automata
A new asynchronous cellular automata model is described. The model provides an experimental and theoretical framework to investigate quantitatively realistic simulations. The parallel execution of such simulations introduces the need of synchronisation of the asynchronous parallel processes. Time Warp is proposed as a synchronisation method for the parallel asynchronous cellular automata. We in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره cs.LO/0110060 شماره
صفحات -
تاریخ انتشار 1999